invariant interval

不变间隔